axiomatization相关论文
The X calculus is a model of concurrent and mobile systems. It emphasizes that communications are information exchanges.......
The notion of amortisation has been integrated in quantitative bisimulations to make long-term behavioral comparisons be......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
本文从区分非方法性学科和方法性学科入手,一方面狭义地分析了数学化、公理化和形式化的基本功能和目标,从而得出结论:按上述顺序,这“......
公理化方法是演绎科学的方法,但其基本精神早已渗透到经验科学.如何从科学方法论和科学认识论的角度对此作深入而系统的探讨,是当......
为采用定理证明的方法对并发及交互式系统进行验证,研究了有穷论域下有穷时间一阶投影时序逻辑(projection temporal logic,简称PTL)的......
主要研究带mismatch的高阶进程演算的公理化问题.首先,建立存在mismatch时高阶进程的开弱高阶互模拟理论,证明了等价关系、同余性等重......
主要介绍了集合对策五种特殊解以及一类一般解,并讨论了它们之间的相互关系,同时给出了一般解的性质与其公理化特征。......
文章系统研究非对称带不等算子χ^≠-演算进程上的互模拟.通过构造互模拟格,从全部 L-互模拟关系中导出 12个互异的 L-互模拟关系,......
为有效实施在轨组装服务,将公理化设计理论引入可在轨组装飞行器的总体设计,给出了一种基于功能需求的结构化设计方法。基于对组装......
给出了一种新的多值逻辑系统,公理化所得到的GML3形式系统与二值逻辑有本质的区别,二值逻辑是它的一个退化。......
为了采用定理证明的方法对并发及交互式系统进行验证,提出了一阶投影时序逻辑的公理系统.利用投影时序逻辑既可描述待验证系统性质和......
从上世纪20年代初开始,逐步增多的经济理论问题已成为公理化分析的对象。公理化作为经济分析的标准形式被广泛应用。经济理论的公理......